1. Compability theory, Semantics, and logic programming
پدیدآورنده : Melvin C. Fitting
کتابخانه: Central Library of Campus 1 Technical University of Tehran (Tehran)
موضوع : Computable functions,Data structures (computer science)
رده :
QA
9
.
59
.
F58
1986
2. Discrete structures, logic, and computability
پدیدآورنده : / James L. Hein
کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
موضوع : Computer science,Data structures (Computer science),Logic, Symbolic and mathematical,Computable functions
رده :
QA76
.
H383
1995
